Optimal. Leaf size=83 \[ -\frac {(A b-a B) x}{b^2 \sqrt {a+b x^2}}+\frac {B x \sqrt {a+b x^2}}{2 b^2}+\frac {(2 A b-3 a B) \tanh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {a+b x^2}}\right )}{2 b^{5/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 83, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.182, Rules used = {466, 396, 223,
212} \begin {gather*} \frac {(2 A b-3 a B) \tanh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {a+b x^2}}\right )}{2 b^{5/2}}-\frac {x (A b-a B)}{b^2 \sqrt {a+b x^2}}+\frac {B x \sqrt {a+b x^2}}{2 b^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 223
Rule 396
Rule 466
Rubi steps
\begin {align*} \int \frac {x^2 \left (A+B x^2\right )}{\left (a+b x^2\right )^{3/2}} \, dx &=-\frac {(A b-a B) x}{b^2 \sqrt {a+b x^2}}-\frac {\int \frac {-A b+a B-b B x^2}{\sqrt {a+b x^2}} \, dx}{b^2}\\ &=-\frac {(A b-a B) x}{b^2 \sqrt {a+b x^2}}+\frac {B x \sqrt {a+b x^2}}{2 b^2}+\frac {(2 A b-3 a B) \int \frac {1}{\sqrt {a+b x^2}} \, dx}{2 b^2}\\ &=-\frac {(A b-a B) x}{b^2 \sqrt {a+b x^2}}+\frac {B x \sqrt {a+b x^2}}{2 b^2}+\frac {(2 A b-3 a B) \text {Subst}\left (\int \frac {1}{1-b x^2} \, dx,x,\frac {x}{\sqrt {a+b x^2}}\right )}{2 b^2}\\ &=-\frac {(A b-a B) x}{b^2 \sqrt {a+b x^2}}+\frac {B x \sqrt {a+b x^2}}{2 b^2}+\frac {(2 A b-3 a B) \tanh ^{-1}\left (\frac {\sqrt {b} x}{\sqrt {a+b x^2}}\right )}{2 b^{5/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.13, size = 75, normalized size = 0.90 \begin {gather*} \frac {-2 A b x+3 a B x+b B x^3}{2 b^2 \sqrt {a+b x^2}}+\frac {(-2 A b+3 a B) \log \left (-\sqrt {b} x+\sqrt {a+b x^2}\right )}{2 b^{5/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.10, size = 102, normalized size = 1.23
method | result | size |
risch | \(\frac {B x \sqrt {b \,x^{2}+a}}{2 b^{2}}-\frac {x A}{b \sqrt {b \,x^{2}+a}}+\frac {x a B}{b^{2} \sqrt {b \,x^{2}+a}}+\frac {\ln \left (x \sqrt {b}+\sqrt {b \,x^{2}+a}\right ) A}{b^{\frac {3}{2}}}-\frac {3 \ln \left (x \sqrt {b}+\sqrt {b \,x^{2}+a}\right ) B a}{2 b^{\frac {5}{2}}}\) | \(94\) |
default | \(B \left (\frac {x^{3}}{2 b \sqrt {b \,x^{2}+a}}-\frac {3 a \left (-\frac {x}{b \sqrt {b \,x^{2}+a}}+\frac {\ln \left (x \sqrt {b}+\sqrt {b \,x^{2}+a}\right )}{b^{\frac {3}{2}}}\right )}{2 b}\right )+A \left (-\frac {x}{b \sqrt {b \,x^{2}+a}}+\frac {\ln \left (x \sqrt {b}+\sqrt {b \,x^{2}+a}\right )}{b^{\frac {3}{2}}}\right )\) | \(102\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.31, size = 82, normalized size = 0.99 \begin {gather*} \frac {B x^{3}}{2 \, \sqrt {b x^{2} + a} b} + \frac {3 \, B a x}{2 \, \sqrt {b x^{2} + a} b^{2}} - \frac {A x}{\sqrt {b x^{2} + a} b} - \frac {3 \, B a \operatorname {arsinh}\left (\frac {b x}{\sqrt {a b}}\right )}{2 \, b^{\frac {5}{2}}} + \frac {A \operatorname {arsinh}\left (\frac {b x}{\sqrt {a b}}\right )}{b^{\frac {3}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.43, size = 213, normalized size = 2.57 \begin {gather*} \left [-\frac {{\left (3 \, B a^{2} - 2 \, A a b + {\left (3 \, B a b - 2 \, A b^{2}\right )} x^{2}\right )} \sqrt {b} \log \left (-2 \, b x^{2} - 2 \, \sqrt {b x^{2} + a} \sqrt {b} x - a\right ) - 2 \, {\left (B b^{2} x^{3} + {\left (3 \, B a b - 2 \, A b^{2}\right )} x\right )} \sqrt {b x^{2} + a}}{4 \, {\left (b^{4} x^{2} + a b^{3}\right )}}, \frac {{\left (3 \, B a^{2} - 2 \, A a b + {\left (3 \, B a b - 2 \, A b^{2}\right )} x^{2}\right )} \sqrt {-b} \arctan \left (\frac {\sqrt {-b} x}{\sqrt {b x^{2} + a}}\right ) + {\left (B b^{2} x^{3} + {\left (3 \, B a b - 2 \, A b^{2}\right )} x\right )} \sqrt {b x^{2} + a}}{2 \, {\left (b^{4} x^{2} + a b^{3}\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 3.90, size = 114, normalized size = 1.37 \begin {gather*} A \left (\frac {\operatorname {asinh}{\left (\frac {\sqrt {b} x}{\sqrt {a}} \right )}}{b^{\frac {3}{2}}} - \frac {x}{\sqrt {a} b \sqrt {1 + \frac {b x^{2}}{a}}}\right ) + B \left (\frac {3 \sqrt {a} x}{2 b^{2} \sqrt {1 + \frac {b x^{2}}{a}}} - \frac {3 a \operatorname {asinh}{\left (\frac {\sqrt {b} x}{\sqrt {a}} \right )}}{2 b^{\frac {5}{2}}} + \frac {x^{3}}{2 \sqrt {a} b \sqrt {1 + \frac {b x^{2}}{a}}}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.36, size = 70, normalized size = 0.84 \begin {gather*} \frac {{\left (\frac {B x^{2}}{b} + \frac {3 \, B a b - 2 \, A b^{2}}{b^{3}}\right )} x}{2 \, \sqrt {b x^{2} + a}} + \frac {{\left (3 \, B a - 2 \, A b\right )} \log \left ({\left | -\sqrt {b} x + \sqrt {b x^{2} + a} \right |}\right )}{2 \, b^{\frac {5}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {x^2\,\left (B\,x^2+A\right )}{{\left (b\,x^2+a\right )}^{3/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________